class StringTemplate1 {

  String x() {
    return STR."\u00A9\{}";
  }
}